Optimal. Leaf size=485 \[ \frac {b f i (e+f x) (a+b \log (c (e+f x)))}{d (f h-e i)^3 (h+i x)}+\frac {(a+b \log (c (e+f x)))^2}{2 d (f h-e i) (h+i x)^2}-\frac {f i (e+f x) (a+b \log (c (e+f x)))^2}{d (f h-e i)^3 (h+i x)}-\frac {b^2 f^2 \log (h+i x)}{d (f h-e i)^3}+\frac {2 b f^2 (a+b \log (c (e+f x))) \log \left (\frac {f (h+i x)}{f h-e i}\right )}{d (f h-e i)^3}+\frac {b f^2 (a+b \log (c (e+f x))) \log \left (1+\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3}-\frac {f^2 (a+b \log (c (e+f x)))^2 \log \left (1+\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3}-\frac {b^2 f^2 \text {Li}_2\left (-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3}+\frac {2 b f^2 (a+b \log (c (e+f x))) \text {Li}_2\left (-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3}+\frac {2 b^2 f^2 \text {Li}_2\left (-\frac {i (e+f x)}{f h-e i}\right )}{d (f h-e i)^3}+\frac {2 b^2 f^2 \text {Li}_3\left (-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.74, antiderivative size = 485, normalized size of antiderivative = 1.00, number of steps
used = 16, number of rules used = 12, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.375, Rules used = {2458, 12,
2389, 2379, 2421, 6724, 2355, 2354, 2438, 2356, 2351, 31} \begin {gather*} \frac {2 b f^2 \text {PolyLog}\left (2,-\frac {f h-e i}{i (e+f x)}\right ) (a+b \log (c (e+f x)))}{d (f h-e i)^3}-\frac {b^2 f^2 \text {PolyLog}\left (2,-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3}+\frac {2 b^2 f^2 \text {PolyLog}\left (2,-\frac {i (e+f x)}{f h-e i}\right )}{d (f h-e i)^3}+\frac {2 b^2 f^2 \text {PolyLog}\left (3,-\frac {f h-e i}{i (e+f x)}\right )}{d (f h-e i)^3}+\frac {2 b f^2 \log \left (\frac {f (h+i x)}{f h-e i}\right ) (a+b \log (c (e+f x)))}{d (f h-e i)^3}-\frac {f^2 \log \left (\frac {f h-e i}{i (e+f x)}+1\right ) (a+b \log (c (e+f x)))^2}{d (f h-e i)^3}+\frac {b f^2 \log \left (\frac {f h-e i}{i (e+f x)}+1\right ) (a+b \log (c (e+f x)))}{d (f h-e i)^3}-\frac {f i (e+f x) (a+b \log (c (e+f x)))^2}{d (h+i x) (f h-e i)^3}+\frac {b f i (e+f x) (a+b \log (c (e+f x)))}{d (h+i x) (f h-e i)^3}+\frac {(a+b \log (c (e+f x)))^2}{2 d (h+i x)^2 (f h-e i)}-\frac {b^2 f^2 \log (h+i x)}{d (f h-e i)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 31
Rule 2351
Rule 2354
Rule 2355
Rule 2356
Rule 2379
Rule 2389
Rule 2421
Rule 2438
Rule 2458
Rule 6724
Rubi steps
\begin {align*} \int \frac {(a+b \log (c (e+f x)))^2}{(h+190 x)^3 (d e+d f x)} \, dx &=\frac {\text {Subst}\left (\int \frac {(a+b \log (c x))^2}{d x \left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^3} \, dx,x,e+f x\right )}{f}\\ &=\frac {\text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x \left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^3} \, dx,x,e+f x\right )}{d f}\\ &=-\frac {\text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x \left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^2} \, dx,x,e+f x\right )}{d (190 e-f h)}+\frac {190 \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{\left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^3} \, dx,x,e+f x\right )}{d f (190 e-f h)}\\ &=-\frac {(a+b \log (c (e+f x)))^2}{2 d (190 e-f h) (h+190 x)^2}-\frac {190 \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{\left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^2} \, dx,x,e+f x\right )}{d (190 e-f h)^2}+\frac {f \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x \left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )} \, dx,x,e+f x\right )}{d (190 e-f h)^2}+\frac {b \text {Subst}\left (\int \frac {a+b \log (c x)}{x \left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^2} \, dx,x,e+f x\right )}{d (190 e-f h)}\\ &=-\frac {(a+b \log (c (e+f x)))^2}{2 d (190 e-f h) (h+190 x)^2}+\frac {190 f (e+f x) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3 (h+190 x)}+\frac {(190 f) \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{\frac {-190 e+f h}{f}+\frac {190 x}{f}} \, dx,x,e+f x\right )}{d (190 e-f h)^3}-\frac {(380 b f) \text {Subst}\left (\int \frac {a+b \log (c x)}{\frac {-190 e+f h}{f}+\frac {190 x}{f}} \, dx,x,e+f x\right )}{d (190 e-f h)^3}-\frac {f^2 \text {Subst}\left (\int \frac {(a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d (190 e-f h)^3}+\frac {(190 b) \text {Subst}\left (\int \frac {a+b \log (c x)}{\left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )^2} \, dx,x,e+f x\right )}{d (190 e-f h)^2}-\frac {(b f) \text {Subst}\left (\int \frac {a+b \log (c x)}{x \left (\frac {-190 e+f h}{f}+\frac {190 x}{f}\right )} \, dx,x,e+f x\right )}{d (190 e-f h)^2}\\ &=-\frac {190 b f (e+f x) (a+b \log (c (e+f x)))}{d (190 e-f h)^3 (h+190 x)}-\frac {2 b f^2 \log \left (-\frac {f (h+190 x)}{190 e-f h}\right ) (a+b \log (c (e+f x)))}{d (190 e-f h)^3}-\frac {(a+b \log (c (e+f x)))^2}{2 d (190 e-f h) (h+190 x)^2}+\frac {190 f (e+f x) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3 (h+190 x)}+\frac {f^2 \log \left (-\frac {f (h+190 x)}{190 e-f h}\right ) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3}-\frac {(190 b f) \text {Subst}\left (\int \frac {a+b \log (c x)}{\frac {-190 e+f h}{f}+\frac {190 x}{f}} \, dx,x,e+f x\right )}{d (190 e-f h)^3}+\frac {\left (190 b^2 f\right ) \text {Subst}\left (\int \frac {1}{\frac {-190 e+f h}{f}+\frac {190 x}{f}} \, dx,x,e+f x\right )}{d (190 e-f h)^3}-\frac {f^2 \text {Subst}\left (\int x^2 \, dx,x,a+b \log (c (e+f x))\right )}{b d (190 e-f h)^3}+\frac {\left (b f^2\right ) \text {Subst}\left (\int \frac {a+b \log (c x)}{x} \, dx,x,e+f x\right )}{d (190 e-f h)^3}-\frac {\left (2 b f^2\right ) \text {Subst}\left (\int \frac {(a+b \log (c x)) \log \left (1+\frac {190 x}{-190 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (190 e-f h)^3}+\frac {\left (2 b^2 f^2\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {190 x}{-190 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (190 e-f h)^3}\\ &=\frac {b^2 f^2 \log (h+190 x)}{d (190 e-f h)^3}-\frac {190 b f (e+f x) (a+b \log (c (e+f x)))}{d (190 e-f h)^3 (h+190 x)}-\frac {3 b f^2 \log \left (-\frac {f (h+190 x)}{190 e-f h}\right ) (a+b \log (c (e+f x)))}{d (190 e-f h)^3}+\frac {f^2 (a+b \log (c (e+f x)))^2}{2 d (190 e-f h)^3}-\frac {(a+b \log (c (e+f x)))^2}{2 d (190 e-f h) (h+190 x)^2}+\frac {190 f (e+f x) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3 (h+190 x)}+\frac {f^2 \log \left (-\frac {f (h+190 x)}{190 e-f h}\right ) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3}-\frac {f^2 (a+b \log (c (e+f x)))^3}{3 b d (190 e-f h)^3}-\frac {2 b^2 f^2 \text {Li}_2\left (\frac {190 (e+f x)}{190 e-f h}\right )}{d (190 e-f h)^3}+\frac {2 b f^2 (a+b \log (c (e+f x))) \text {Li}_2\left (\frac {190 (e+f x)}{190 e-f h}\right )}{d (190 e-f h)^3}+\frac {\left (b^2 f^2\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {190 x}{-190 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (190 e-f h)^3}-\frac {\left (2 b^2 f^2\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (-\frac {190 x}{-190 e+f h}\right )}{x} \, dx,x,e+f x\right )}{d (190 e-f h)^3}\\ &=\frac {b^2 f^2 \log (h+190 x)}{d (190 e-f h)^3}-\frac {190 b f (e+f x) (a+b \log (c (e+f x)))}{d (190 e-f h)^3 (h+190 x)}-\frac {3 b f^2 \log \left (-\frac {f (h+190 x)}{190 e-f h}\right ) (a+b \log (c (e+f x)))}{d (190 e-f h)^3}+\frac {f^2 (a+b \log (c (e+f x)))^2}{2 d (190 e-f h)^3}-\frac {(a+b \log (c (e+f x)))^2}{2 d (190 e-f h) (h+190 x)^2}+\frac {190 f (e+f x) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3 (h+190 x)}+\frac {f^2 \log \left (-\frac {f (h+190 x)}{190 e-f h}\right ) (a+b \log (c (e+f x)))^2}{d (190 e-f h)^3}-\frac {f^2 (a+b \log (c (e+f x)))^3}{3 b d (190 e-f h)^3}-\frac {3 b^2 f^2 \text {Li}_2\left (\frac {190 (e+f x)}{190 e-f h}\right )}{d (190 e-f h)^3}+\frac {2 b f^2 (a+b \log (c (e+f x))) \text {Li}_2\left (\frac {190 (e+f x)}{190 e-f h}\right )}{d (190 e-f h)^3}-\frac {2 b^2 f^2 \text {Li}_3\left (\frac {190 (e+f x)}{190 e-f h}\right )}{d (190 e-f h)^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.61, size = 680, normalized size = 1.40 \begin {gather*} \frac {3 a^2 (f h-e i)^2+6 a^2 f (f h-e i) (h+i x)+6 a^2 f^2 (h+i x)^2 \log (e+f x)-6 a^2 f^2 (h+i x)^2 \log (h+i x)+6 a b \left ((f h-e i)^2 \log (c (e+f x))+f^2 (h+i x)^2 \log ^2(c (e+f x))-f (h+i x) (f h-e i+f (h+i x) \log (e+f x)-f (h+i x) \log (h+i x))-2 f (h+i x) (f (h+i x) \log (e+f x)+(-f h+e i) \log (c (e+f x))-f (h+i x) \log (h+i x))-2 f^2 (h+i x)^2 \left (\log (c (e+f x)) \log \left (\frac {f (h+i x)}{f h-e i}\right )+\text {Li}_2\left (\frac {i (e+f x)}{-f h+e i}\right )\right )\right )+b^2 \left (6 f^2 (h+i x)^2 \log (e+f x)-6 f (f h-e i) (h+i x) \log (c (e+f x))+3 (f h-e i)^2 \log ^2(c (e+f x))-3 f^2 (h+i x)^2 \log ^2(c (e+f x))+2 f^2 (h+i x)^2 \log ^3(c (e+f x))-6 f^2 (h+i x)^2 \log (h+i x)+6 f^2 (h+i x)^2 \log (c (e+f x)) \log \left (\frac {f (h+i x)}{f h-e i}\right )+6 f^2 (h+i x)^2 \text {Li}_2\left (\frac {i (e+f x)}{-f h+e i}\right )-6 f (h+i x) \left (\log (c (e+f x)) \left (i (e+f x) \log (c (e+f x))-2 f (h+i x) \log \left (\frac {f (h+i x)}{f h-e i}\right )\right )-2 f (h+i x) \text {Li}_2\left (\frac {i (e+f x)}{-f h+e i}\right )\right )-6 f^2 (h+i x)^2 \left (\log ^2(c (e+f x)) \log \left (\frac {f (h+i x)}{f h-e i}\right )+2 \log (c (e+f x)) \text {Li}_2\left (\frac {i (e+f x)}{-f h+e i}\right )-2 \text {Li}_3\left (\frac {i (e+f x)}{-f h+e i}\right )\right )\right )}{6 d (f h-e i)^3 (h+i x)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.38, size = 0, normalized size = 0.00 \[\int \frac {\left (a +b \ln \left (c \left (f x +e \right )\right )\right )^{2}}{\left (d f x +e d \right ) \left (i x +h \right )^{3}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Both result and optimal contain complex but leaf count of result is larger than
twice the leaf count of optimal. 1068 vs. \(2 (476) = 952\).
time = 2.61, size = 1068, normalized size = 2.20 \begin {gather*} -\frac {{\left (\log \left (f x + e\right )^{2} \log \left (\frac {i \, f x + i \, e}{f h - i \, e} + 1\right ) + 2 \, {\rm Li}_2\left (-\frac {i \, f x + i \, e}{f h - i \, e}\right ) \log \left (f x + e\right ) - 2 \, {\rm Li}_{3}(-\frac {i \, f x + i \, e}{f h - i \, e})\right )} b^{2} f^{2}}{d f^{3} h^{3} - 3 i \, d f^{2} h^{2} e - 3 \, d f h e^{2} + i \, d e^{3}} - \frac {{\left (2 \, a b f^{2} + {\left (2 \, f^{2} \log \left (c\right ) - 3 \, f^{2}\right )} b^{2}\right )} {\left (\log \left (f x + e\right ) \log \left (\frac {i \, f x + i \, e}{f h - i \, e} + 1\right ) + {\rm Li}_2\left (-\frac {i \, f x + i \, e}{f h - i \, e}\right )\right )}}{d f^{3} h^{3} - 3 i \, d f^{2} h^{2} e - 3 \, d f h e^{2} + i \, d e^{3}} - \frac {{\left (a^{2} f^{2} + {\left (2 \, f^{2} \log \left (c\right ) - 3 \, f^{2}\right )} a b + {\left (f^{2} \log \left (c\right )^{2} - 3 \, f^{2} \log \left (c\right ) + f^{2}\right )} b^{2}\right )} \log \left (h + i \, x\right )}{d f^{3} h^{3} - 3 i \, d f^{2} h^{2} e - 3 \, d f h e^{2} + i \, d e^{3}} + \frac {8 \, {\left (9 i \, a^{2} f^{2} h^{2} + 2 \, {\left (i \, b^{2} f^{2} h^{2} - 2 \, b^{2} f^{2} h x - i \, b^{2} f^{2} x^{2}\right )} \log \left (f x + e\right )^{3} + 6 \, {\left (3 i \, f^{2} h^{2} \log \left (c\right ) - i \, f^{2} h^{2}\right )} a b + 3 \, {\left (3 i \, f^{2} h^{2} \log \left (c\right )^{2} - 2 i \, f^{2} h^{2} \log \left (c\right )\right )} b^{2} + 3 \, {\left (2 i \, b^{2} f^{2} h^{2} \log \left (c\right ) + 2 i \, a b f^{2} h^{2} + 4 \, b^{2} f h e + {\left (-2 i \, a b f^{2} + {\left (-2 i \, f^{2} \log \left (c\right ) + 3 i \, f^{2}\right )} b^{2}\right )} x^{2} - i \, b^{2} e^{2} - 2 \, {\left (2 \, a b f^{2} h - i \, b^{2} f e + 2 \, {\left (f^{2} h \log \left (c\right ) - f^{2} h\right )} b^{2}\right )} x\right )} \log \left (f x + e\right )^{2} - 6 \, {\left (a^{2} f^{2} h + {\left (2 \, f^{2} h \log \left (c\right ) - f^{2} h\right )} a b + {\left (f^{2} h \log \left (c\right )^{2} - f^{2} h \log \left (c\right )\right )} b^{2} - {\left ({\left (2 i \, f \log \left (c\right ) - i \, f\right )} a b + {\left (i \, f \log \left (c\right )^{2} - i \, f \log \left (c\right )\right )} b^{2} + i \, a^{2} f\right )} e\right )} x + 3 \, {\left (-i \, b^{2} \log \left (c\right )^{2} - 2 i \, a b \log \left (c\right ) - i \, a^{2}\right )} e^{2} + 6 \, {\left (2 \, a^{2} f h + {\left (4 \, f h \log \left (c\right ) - f h\right )} a b + {\left (2 \, f h \log \left (c\right )^{2} - f h \log \left (c\right )\right )} b^{2}\right )} e + 6 \, {\left (i \, b^{2} f^{2} h^{2} \log \left (c\right )^{2} + 2 i \, a b f^{2} h^{2} \log \left (c\right ) + i \, a^{2} f^{2} h^{2} + {\left (-i \, a^{2} f^{2} + {\left (-2 i \, f^{2} \log \left (c\right ) + 3 i \, f^{2}\right )} a b + {\left (-i \, f^{2} \log \left (c\right )^{2} + 3 i \, f^{2} \log \left (c\right ) - i \, f^{2}\right )} b^{2}\right )} x^{2} - {\left (2 \, a^{2} f^{2} h + 4 \, {\left (f^{2} h \log \left (c\right ) - f^{2} h\right )} a b + {\left (2 \, f^{2} h \log \left (c\right )^{2} - 4 \, f^{2} h \log \left (c\right ) + f^{2} h\right )} b^{2} - {\left ({\left (2 i \, f \log \left (c\right ) - i \, f\right )} b^{2} + 2 i \, a b f\right )} e\right )} x + {\left (-i \, b^{2} \log \left (c\right ) - i \, a b\right )} e^{2} + {\left (4 \, a b f h + {\left (4 \, f h \log \left (c\right ) - f h\right )} b^{2}\right )} e\right )} \log \left (f x + e\right )\right )}}{48 i \, d f^{3} h^{5} + 144 \, d f^{2} h^{4} e - 144 i \, d f h^{3} e^{2} - 48 \, d h^{2} e^{3} - 48 \, {\left (i \, d f^{3} h^{3} + 3 \, d f^{2} h^{2} e - 3 i \, d f h e^{2} - d e^{3}\right )} x^{2} - 96 \, {\left (d f^{3} h^{4} - 3 i \, d f^{2} h^{3} e - 3 \, d f h^{2} e^{2} + i \, d h e^{3}\right )} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\ln \left (c\,\left (e+f\,x\right )\right )\right )}^2}{{\left (h+i\,x\right )}^3\,\left (d\,e+d\,f\,x\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________